A novel approach for functional coverage measurement in HDL
نویسندگان
چکیده
ion While the coverage-driven functional verification is getting popular, a fast and convenient coverage measurement tool is necessary. In this paper, we propose a novel approach for functional coverage measurement based on the VCD files produced by the simulators. The usage flow of the proposed dumpfile-based coverage analysis is much easier and smoother than that of existing instrumentation-based coverage tools. No pre-processing tool is required and no extra code will be inserted into the source code. Most importantly, the flexibility in choosing coverage metrics and measured code regions is increased. Only one simulation run is needed for any kind of coverage reports. By conducting some experiments on real examples, it shows very promising results in terms of the performance and the accuracy of coverage reports.
منابع مشابه
High-Density Lipoprotein Measurement Methods: From Precipitation to Nuclear Magnetic Resonance (NMR)
Introduction: Extensive research suggests a common hypothesis regarding the protective role of total high-density lipoprotein-cholesterol (HDL-C) against cardiovascular disease (CVD). This hypothesis indicates an inverse relationship between CVD and high HDL-C levels. Various mechanisms, such as reverse cholesterol transport, besides anti-inflammatory and antioxidant functions, indicate HDL-C a...
متن کاملCoverage Analysis Techniques for HDL Design Validation
ion Until now, the functional verification at RTL is still mostly done by simulating the HDL designs with a massive amount of test patterns. In a typical design environment, the quality of the test mainly depends on the designers understanding of the design and is not measurable. Therefore, more objective methods, which use some well-defined functional coverage metrics to perform a quantitativ...
متن کاملAn Efficient Functional Coverage Test for HDL Descriptions at RTL
ion Until now, simulation is still the primary approach for the functional verification of RTL circuit descriptions written in HDL. The FSM coverage test can find all bugs in a FSM design. However, it is impractical for large designs because of the state explosion problem. In this paper, we modify the higher level FSM models used in other applications to replace the FSM model in the FSM coverag...
متن کاملA Study to Predict the Development of Wear for the Wheel/interface of a Railway Track
The train transport is often confronted with greatly repeated changes in scope, vehicle travel well-being and transport safety because of the adjustments of wheel and rail profiles. These problems are frustrating and threatening. Thus, there is a requirement for an approach to predicting the wear of wheel/rail to tackle these problems. A new theoretical ground is broken through the build-up a m...
متن کاملTESTING FOR AUTOCORRELATION IN UNEQUALLY REPLICATED FUNCTIONAL MEASUREMENT ERROR MODELS
In the ordinary linear models, regressing the residuals against lagged values has been suggested as an approach to test the hypothesis of zero autocorrelation among residuals. In this paper we extend these results to the both equally and unequally replicated functionally measurement error models. We consider the equally and unequally replicated cases separately, because in the first case the re...
متن کامل